Low energy n-\nuc{3}{H} scattering : a novel testground for nuclear interaction

The low energy n-\nuc{3}{H} elastic cross sections near the resonance peak are calculated by solving the 4-nucleon problem with realistic NN interactions. Three different methods -- Alt, Grassberger and Shandas (AGS), Hyperspherical Harmonics and Faddeev-Yakubovsky -- have been used and their respective results are compared. We conclude on a failure of the existing NN forces to reproduce the n-\nuc{3}{H} total cross section.Comment: To be published in Phys. Rev.

Analysis of tethered balloon, ceilometer and class sounding data taken on San Nicolas Island during the FIRE project

During the FIRE Marine Stratocumulus Program on San Nicolas Island, Colorado State University (CSU) and the British Meteorological Office (BMO) operated separate instrument packages on the NASA tethered balloon. The CSU package contained instrumentation for the measurement of temperature, pressure, humidity, cloud droplet concentration, and long and short wave radiation. Eight research flights, performed between July 7 and July 14, are summarized. An analysis priority to the July 7, 8 and 11 flights was assigned for the purposes of comparing the CSU and BMO data. Results are presented. In addition, CSU operated a laser ceilometer for the determination of cloud base, and a CLASS radiosonde site which launched 69 sondes. Data from all of the above systems are being analyzed

Multiobjective parsimony enforcement for superior generalisation performance

Program Bloat - phenomenon of ever-increasing program size during a GP run - is a recognised and widespread problem. Traditional techniques to combat program bloat are program size limitations of parsimony pressure (penalty functions). These techniques suffer from a number of problems, in particular their reliance on parameters whose optimal values it is difficult to a priori determine. In this paper, we introduce POPE-GP, a system that makes use of the NSGA-II multiobjective evolutionary algorithm as an alternative, parameter-free technique for eliminating program bloat. We test it on a classification problem and find that while vastly reducing program size, it does improve generalisation performance

Formal Verification of Arithmetic Circuits by Function Extraction

The paper presents an algebraic approach to functional verification of gate-level, integer arithmetic circuits. It is based on extracting a unique bit-level polynomial function computed by the circuit directly from its gate-level implementation. The method can be used to verify the arithmetic function computed by the circuit against its known specification, or to extract an arithmetic function implemented by the circuit. Experiments were performed on arithmetic circuits synthesized and mapped onto standard cells using ABC system. The results demonstrate scalability of the method to large arithmetic circuits, such as multipliers, multiply-accumulate, and other elements of arithmetic datapaths with up to 512-bit operands and over 2 million gates. The results show that our approach wins over the state-of-the-art SAT/SMT solvers by several orders of magnitude of CPU time. The procedure has linear runtime and memory complexity, measured by the number of logic gates

Stability of radiation-pressure dominated disks. I. The dispersion relation for a delayed heating alpha-viscosity prescription

We derive and investigate the dispersion relation for accretion disks with retarded or advanced heating. We follow the alpha-prescription but allow for a time offset (\tau) between heating and pressure perturbations, as well as for a diminished response of heating to pressure variations. We study in detail solutions of the dispersion relation for disks with radiation-pressure fraction 1 - \beta . For \tau <0 (delayed heating) the number and sign of real solutions for the growth rate depend on the values of the time lag and the ratio of heating response to pressure perturbations, \xi . If the delay is larger than a critical value (e.g., if \Omega \tau <-125 for \alpha =0.1, \beta =0 and \xi =1) two real solutions exist, which are both negative. These results imply that retarded heating may stabilize radiation-pressure dominated accretion disks.Comment: 11 pages, 10 figures, to be submitted to A&

Chemical Synthesis at Surfaces with Atomic Precision: Taming Complexity and Perfection

Scanning probe microscopy (SPM) is a powerful tool to study the structure and dynamics of molecules at surfaces and interfaces as well as to precisely manipulate atoms and molecules by applying an external force, by inelastic electron tunneling, or by means of an electric field. The rapid development of these SPM manipulation modes made it possible to achieve fine‐control over fundamental processes in the physics of interfaces as well as chemical reactivity, such as adsorption, diffusion, bond formation, and bond dissociation with precision at the single atom/molecule level. Their controlled use for the fabrication of atomic‐scale structures and synthesis of new, perhaps uncommon, molecules with programmed properties are reviewed. Opportunities and challenges towards the development of complex chemical systems are discussed, by analyzing potential future impacts in nanoscience and nanotechnology.journal articlereview2019 Dec 192019 11 28importe

Incremental document map formation: multi-stage approach

The paper presents methodology for the incremental map formation in a multi-stage process of a search engine with the map based user interface1. The architecture of the experimental system allows for comparative evaluation of different constituent technologies for various stages of the process. The quality of the map generation process has been investigated based on a number of clustering and classification measures. Some conclusions concerning the impact of various technological solutions on map quality are presented

Fractional Laplacian in Bounded Domains

The fractional Laplacian operator, $-(-\triangle)^{\frac{\alpha}{2}}$, appears in a wide class of physical systems, including L\'evy flights and stochastic interfaces. In this paper, we provide a discretized version of this operator which is well suited to deal with boundary conditions on a finite interval. The implementation of boundary conditions is justified by appealing to two physical models, namely hopping particles and elastic springs. The eigenvalues and eigenfunctions in a bounded domain are then obtained numerically for different boundary conditions. Some analytical results concerning the structure of the eigenvalues spectrum are also obtained.Comment: 11 pages, 11 figure